A Brief Outline of ALX3, a Multi-Agent Action Logic
نویسندگان
چکیده
ALX3 is a multi-agent version of ALX with a first-order description language. ALX3 is sound and complete, and is already proving its practical use in the formal representation of modern organization theory.
منابع مشابه
An Outline of ALX 3 , a Multi - Agent Action
ALX3 is a multi-agent version of ALX with a rst-order description language. ALX, a modal action logic, combines ideas from H.A. Simon's bounded rationality, S. Kripke's possible world semantics, G. H. von Wright's preference logic, Pratt's dynamic logic, and Stalnaker's conditional logic. ALX avoids important drawbacks of other action logics, especially the counterintuitive necessi-tation rule ...
متن کاملFrom Coalition Logic to STIT 1
STIT is a logic of agency that has been proposed in the nineties in the domain of philosophy of action. It is the logic of constructions of the form \agent a sees to it that '". We believe that STIT theory may contribute to the logical analysis of multiagent systems. To support this claim, in this paper we show that there is a close relationship with more recent logics for multiagent systems. W...
متن کاملThe homeoprotein Alx3 contains discrete functional domains and exhibits cell-specific and selective monomeric binding and transactivation.
Alx3 is a paired class aristaless-like homeoprotein expressed during embryonic development. Transcriptional transactivation by aristaless-like proteins has been associated with cooperative dimerization upon binding to artificially generated DNA consensus sequences known as P3 sites, but natural target sites in genes regulated by Alx3 are unknown. We report the cloning of a cDNA encoding the rat...
متن کاملSufism in the Western History : A Primary Outline
The phenomenon of Western Sufi teachers is unique, not just because of the individuals themselves, though they are certainly fascinating, but because of what they represent: the flowering of the Western genius, which has discovered Eastern traditions, absorbed them and in the process changed them and been changed by them. This paper is a primary outline of the main contours of this phenomenon, ...
متن کاملMEASURING SOFTWARE PROCESSES PERFORMANCE BASED ON FUZZY MULTI AGENT MEASUREMENTS
The present article discusses and presents a new and comprehensive approachaimed at measuring the maturity and quality of software processes. This method has beendesigned on the basis of the Software Capability Maturity Model (SW-CMM) and theMulti-level Fuzzy Inference Model and is used as a measurement and analysis tool. Among themost important characteristics of this method one can mention si...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002